Raster to Point is the tool to use, but you will find that it doesn't allow floating point input. It is required that an integer raster be input. You can run the Int tool to truncate the decimals, or if you need to retain the decimals then multiply the raster (Times tool) by 10, 100, 1000 etc... depending on how many digits to the right of the decimal you wish to maintain. After multiplying, run Int, then convert to points. In the point attribute table you should see the Value field (sometimes called GRID_CODE) that stores the raster value. You can use the field calculator to divide by 10, 100, 1000 to get your decimals back.
The other tools you mention require you have existing points and you sample the DEM using those points. So if you don't want to fuss with multiplying and field calculations, you can run Int tool, then convert to points, then use those points to sample the original 32 bit floating point DEM. i.e. Extact Values to Points, Sample, etc..
Best,
Eric