```
if ((RA) <u (RB)) & ((RB) != [0]*64) then # Check RA<RB, for divide-by-0
dividend[0:127] <- (RA) || (RC) # Combine RA/RC as 128-bit
- divisor[0:127] <- EXTZ(RB) # Extend RB to 128-bit
+ divisor[0:127] <- [0]*64 || (RB) # Extend RB to 128-bit
result <- dividend / divisor # Division
modulo <- dividend % divisor # Modulo
RT <- result[64:127] # Store result in RT