code: func SafeSub(x, y uint64) (uint64, bool) {
  	return x - y, x < y
  }
docs: // NOTE: The following methods need to be optimised using either bit checking or asm
  // SafeSub returns subtraction result and whether overflow occurred.