HAIRSBREADTHS

Definition of HAIRSBREADTHS