fromJSON(toJSON(0.5 ** 0.5))
