ps: is it desirable that `typeset -p` uses different capitalisation ('nan') from the normal float conversion ('NaN')? workers/42369 seemed to suggest not. would it be too risky to make them match now?
It always bugged me that "typeset -p" doesn't use the proper capitalization. I hope that we can fix it.