numeric cast to double