Less spec when HIGH_PRECISION_SUPPORTED is true