added 'minfloat', 'maxfloat', 'mindouble', 'maxdouble' operators