export const DELTA = 1e-10; // floating-point margin of error