add support for dividing by zero returning not a number in push_action