note on builtin cin conversion