0.5 - i32 <= i64
