History man3/frexpf.3