add intermediate recombinator for float representation