__len__ now returns rounded int