Well, it would work in the x87 extended precision format, which has no hidden bit...

But you're right, for normal float/double it doesn't.