normalised binary addition