A high speed truly IC random number source for smart card microcontrollers