I agree that it would be nice if we just had numbers but the implementation would be tough as when real numbers get very close to ints, it is not clear at what point you can switch to integer operations over FP operations on the backend.