fixed printing double values
use faster enumeration methods