Module AltErgoLib__Fpa_rounding