some new basic operators, NaN checking, solid solver checks input values