Use an int for fractional seconds (#1449)

Use an int for fractional seconds (#1449) #436