{Unsolved}Setting player level as a double

I know you can set a player's level to an int but I want to be able to set it to a double. Is there anyway to do this ?

 

Code:java

double level = 1.5d;
player.setLevel((int)level); //set the level to the integer part
player.setExp((float)(level % 1d)); //set the experience towards next level to the fractional part

 

Well, why not use the experience bar to store the fractional part? It's already a float - all you need is to give it a value between 0 - 1. It shouldn't be that difficult with getExp(), setExp() and setLevel(), although you probably should update setTotalExperience(). Or you can use a library.

Essentially, setExp() updates the experience bar, setLevel() updates the level and setTotalExperience() updates an internal counter that is not directly visible, but is used by the enchanting system and the server when it determines whether or not to update the experience bar.

Alternatively, you could store the level in a HashMap.

 

I don't need the setExp.... Also I already tried casting the double to an int but it just gets rid of the decimals

Also I'm already using the Expbar as a timer

EDIT by Moderator: merged posts, please use the edit button instead of double posting.

 

Minecraft only understands levels as integer, i.e. you can't be level 3.14159

 

Dam... I guess I'll just do without it D: