It's definitely a software issue on their end. Same reason why the device will output 60.000hz occasionally if 4:2:0 chroma subsampling is selected instead of 59.94hz, and some of their older devices would only output 24.000hz instead of 23.976hz with framerate matching enabled.