we use true division by default in all ops, so yes