const CREDITS_TOLERANCE: f64 = 1e-4;
Slack for the f32-to-f64 widening. Real credit amounts are never finer than 0.1.