Dates and times

All dates are converted to Julian integers according to the algorithm of Tantzen.[*]

Times are converted to `Julian' integers according to the algorithm

integer = hours*3600 + minutes*60 + seconds.