systemfunctor and check_NaN docs