steps toward a truly hard-fp system