What is the purpose of this line: dinterval = (interval * 19) / 20 in object.cpp? I ask because it would appear that if I pass in a dump_interval of 1, it gets rounded down to 0 which has very different semantics.