Are fractional shares rounded down and converted to cash? E.g., (following OP's example): 7.76 shares of CRM -> 0.76 shares of CRM => 241.35 (closing CRM price)

Are fractional shares rounded down and converted to cash? E.g., (following OP's example): 7.76 shares of CRM -> 0.76 shares of CRM => 241.35 (closing CRM price) * 0.76 = $183.42.