I’m not familiar with IEEE 754.

Edit: I think this sort of space shouldn’t be the kind where people get downvoted for admitting ignorance honestly, but maybe that’s just me.