Use ONEF instead of <REAL_t>1.0