Is it reasonably safe to use PIN code for encryption?
I think I have found the solution. Check this link. It's a hack and it requires a phone to be rooted, but it does allow you to use alphanumeric password for encryption and PIN for screen unlock.