Always add f suffix for floating-point constants.
Update C back end for branch & branch_join.