@arithmetic-operations-for/naturals-big-endian