What is Circumradius of a right angled triangle?

The circumradius of a right angled triangle would be equal to half the length of its hypotenuse.