use floating point as default result type