read +INF.0, +InF.0, +Nan.0, ...
write +inf.0, -inf.0, +nan.0, ...