added param to pool_dump, fixed bug in float comparison (NaN support)