i64 > f32 - 1
