presto-orc/src/main/java/io/prestosql/orc/checkpoint/FloatStreamCheckpoint.java/FloatStreamCheckpoint/toPositionList
class FloatStreamCheckpoint:    public List<Integer> toPositionList(boolean compressed)
    {
        return createInputStreamPositionList(compressed, inputStreamCheckpoint);
    }