Using floating point numbers as hash keys (2017)