factorial zeros very cheap using big integers