What type of number is #sqrt13#?