(module Floatable)