You almost had it right.

mkdosfs -F 32 /dev/hdb9

Check out man mkdosfs for a better understanding. Oh and no you don't need to mount the drive becasue you don't actually mount a drive but the filesystem on the drive.