Fixes for unsigned int to double conversion in examples