Note that in these formulas the parameter latitude of natural origin (lat0) is not used. However for the Merctor (1SP) method the EPSG dataset includes this parameter, which must have a value of zero, for completeness in CRS labelling.