io.circe
An integral string with an optional leading minus sign and between 1 and 25 digits (inclusive).
An arbitrary JSON number, represented as a string.