NeonDecoder: big integers are decoded as strings