Added ackermann function to SNat.