How widespread is this time-conversion bug?