handling of float special values