toJSON(0.5 * 0.5)
