The comment above bintime2timespec() says:
When converting between timestamps on parallel timescales of differing resolutions it is historical and scientific practice to round down.
However, the nsec value is a time difference and not a timestamp. So, rounding
to the closest integer is probably slightly better.