multiply two floating point numbers in python