Is the last read byte matches the [0-9] production?

Property definitions

saxophonit $ XophonLexer :: is_digit
	# Is the last read byte matches the `[0-9]` production?
	fun is_digit: Bool do
		return ['0'.code_point .. '9'.code_point].has(last_char)
	end
lib/saxophonit/lexer.nit:188,2--191,4