Re: [cctbxbb] flex.int.as_double() performance