fold fp_round(fp_round(x)) -> fp_round(x).