fixing Dockerfile for CI to reflect float2posit name change
fixing Dockerfile for CI to reflect float2posit name change

stillwater-sc/universal,stillwater-sc/universal,stillwater-sc/universal,stillwater-sc/universal