JSON supports numbers, so could avoid parsing here?