|  52e8a19a39 # Objective Fixes #2361 ## Solution Uses integer division instead of floating-point which prevents precision errors, I think. | ||
|---|---|---|
| .. | ||
| time | ||
| bytes.rs | ||
| float_ord.rs | ||
| label.rs | ||
| lib.rs | ||
| name.rs | ||
| task_pool_options.rs | ||
|  52e8a19a39 # Objective Fixes #2361 ## Solution Uses integer division instead of floating-point which prevents precision errors, I think. | ||
|---|---|---|
| .. | ||
| time | ||
| bytes.rs | ||
| float_ord.rs | ||
| label.rs | ||
| lib.rs | ||
| name.rs | ||
| task_pool_options.rs | ||