middle mouse button switches between float and double precision