NumericLiteral.typecheck() throws an exception when the literal is used in a context where a java.lang.Object is expected. However, a numeric literal is boxable to a java.lang.Number which inherits from Object so the typecheck should succeed.