Add in PropEr tests.
Add in correct -spec definitions and test them.
Handle cases where we don't get enough digits.
Fix an issue with split_at usage.