f32 + i64 - 1
