.float16_format ieee
.float16_format alternative
.float16_format monkeys
.float16_format ...
.float16_format