Why is decimal not included here? For now, it is fixed-length, so we can save some more json bytes.