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

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