Not finished, but this prints

double 123.000000
int: 1
Unknown type.