Encode more basic types