dart user input type conversion