The number stack goes like this: naturals -> integers -> rationals -> reals.

Trying to simplify this by removing any stage doesn't really work. sin() over a rational should be a compile time error.