def Float.Model.UnpackedFloat.sub (spec : Format) : UnpackedFloat → UnpackedFloat → UnpackedFloat

Computes the difference of two floating point numbers and rounds the result according to the given specification.