micro top-level constant

double const micro

Implementation

const micro = 1e-6;