How do you find #abs(1 + 3i)#?