asn1/a_time.c: make handling of 'fractional point' formally correct.