Those are offline renders. HDR existed in offline renders since ages. Most raytracers use 32bits per component for calculations. Convincing renders nonetheless. There is a mod called hdrbloom for hl2 that gives fake HDR. Looks pretty convincing though. Be prepared to drop the resolution as it runs a bit slower than normal hl2.