LRM Section 5.8 : The time literal is interpreted as a realtime value scaled to the current time unit and rounded to the current time precision.
Hence 800.559ps would be scaled to time unit of 1ns i.e ‘0.800559’ .
Similarly tdelay is scaled to 0.800509 which is rounded-off to 1 in 2nd case