round_ieee_754 needs to use double to pass all the tests correctly