fix numerical literal check bug for function arguments, and add a test