fulfil IntegerLiteralType protocol init