toJSON(0.5 > i32)
