use std
.: multiply <real a, real b> :. -> real {a * b}