vaddfp and vrfin