`floor` and `ceil` should return an `Integer64` type instead of whatever float type they were applied to signal that the integer type is guaranteed.
floorandceilshould return anInteger64type instead of whatever float type they were applied to signal that the integer type is guaranteed.