Emerald Time and Emerald Timestamp
at the leap second in June 2012