Implements float16