Characteristic predicate Float128Type :: Float128Type
Float128Type
(
)