I think it likely that the subset of users who use HHVM are the same ones that forgo the traditional core update processes and rely on tools like Git/Composer. Meaning their usage data does not get sent to wp.org servers. I can’t think of any other reason usage would truly be in the “dozens”.