S31817: updated RankedVM to use double representation internally so we can create with floats as well as ints