Merge branch 'lal.gpstime-decimal' into 'master'

Support Decimal in lal.gpstime.gps_to_utc

See merge request !2060
68 jobs for !2060 with lal.gpstime-decimal into master in 165 minutes and 50 seconds (queued for 13 seconds)