fix: bfp_ROUND_TO_BFP64 takes 3 arguments