-record(finite, {value :: float()}).