framework/resources/Functional/decimal/decimal111.sql

select casthigh(cast(1025.0 as decimal(28,8)));