LazilyParsedNumber parsing of integers

I want to process a vector of integers. For that, I get each JsonElement from the JsonArray and use getAsInt() to obtain its integer value.

However, if the value is, say, 6.7, it does not generate an exception, it returns 6 (this was a real bug in a configuration file, where 6,7 was by mistake written as 6.7).

This happens because the getInt() method of LazilyParsedNumber uses BigDecimal to parse the text and getInt() to get some integer value ou of it. Shouldn't it use BigInteger instead of BigDecimal?