extended range floating point information system{=ERFPIS}