:magnum :nat Bump :nat :magnum