> The year is 1999 or 2000. Would the gear Daft Punk uses even support fractional BPMs? And if so out to how many decimal places?

Do not assume that because a particular gear prints out a particular BPM value that the actual BPM is that. Plenty of midi gear is inaccurate.