*** Welcome to piglix ***

32-bit floating-point format

...