Revise floating point constants

Change: add zero preceding decimal to floating point constants.