Casted to Double inside getNumTuples for HeapPage