Now that we have a soft-float attribute, use it instead of the