Sniffnoy comments on Specification failure

[Sniffnoy]

In this context, I think the answer is don’t write it for floats!