Remove trailing whitespace
Publicly export CastNum to fix rustc build errors