More robust validation

This MR makes the efficiency calculation in the Allen validators use double precision instead of single precision. This solves instabilities observed in !767 (closed).