They did ban calculators in the Butlerian Jihad.