Use REAL, not FLOAT