i64 != 0.5 * 1
