[text text=(31337_82755888644217, `If the sign bits of the inputs differ, we can just compare them`) size=37]
