function::fp_mul - Multiplication between floating points
fp_mul:long(mul1:long,mul2:long)
mul1
the 64 bit floating point multiplicand
mul2
64 bit floating point multiplier
result is multiplicand times multiplier
tapset::floatingpoint(3stap)