0.5 <= i32 and i < i64
