Could a leap second have been coded as 2016123123596000+0000 at the start of the last introduced leap second (as per IERS bulletin C 52 of July 6th 2016), for instance used on time.gov reflecting a 60th second ? If not what would be the most accepted format for instance for administrative payment systems ?