SERVER-6079 Avoid C style cast in Timestamp test