Add some helper functions and *= operation in Natural