for SO post
karma wip
split integer/double arithmetics
JSON::String ADT no more