Use new_tarval_from_double() to create floating point constants.