Converting float-colors to int-rgb-colors