impl_def_val: handle INF/NAN